Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
101	PDF Document Add to Reading List Source URL: www.icea.ox.ac.uk Language: English - Date: 2012-08-14 12:55:09 Sociological terms Behavioural sciences Sociology Self Fusion power Identity Self-verification theory Social identity theory Self-concept Social psychology Conceptions of self Mind
102	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2013-06-12 10:51:30 Applied mathematics Computer science Model checking Formal verification Finite-state machine Deterministic finite automaton Automated planning and scheduling Uppaal Model Checker Clock Models of computation Automata theory Theoretical computer science
103	PDF Document Add to Reading List Source URL: coachingtowardhappiness.com Language: English - Date: 2007-09-04 23:43:47 Social psychology Human behavior Clinical psychology Positive psychology Psychological resilience Self-verification theory Validity Coping Behavior Psychology Mind
104	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory
105	PDF Document Add to Reading List Source URL: www.icea.ox.ac.uk Language: English - Date: 2014-06-13 07:49:41 Behavioural sciences Mind Self Psychological theories Self-verification theory Self-categorization theory Social identity theory Optimal distinctiveness theory Self-enhancement Social psychology Conceptions of self Group processes
106	TECS WeekProtocol Verification by the Inductive Method Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-01-05 04:09:40 Mathematical proof Model checking Mathematical induction IP Process calculus Model theory Mathematics Mathematical logic Logic
107	Non-GMO Project Standard – summary of version 11 changes Changed language in Sectionso that it requires verification of things like tea bags. Deleted “to produce a novel material” from SectionAd Add to Reading List Source URL: www.nongmoproject.org Language: English - Date: 2014-07-03 13:30:21 Covariance and contravariance Mathematical sciences Mathematics Applied mathematics Data analysis Probability theory Variance
108	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
109	Certified, Verified and Self-Verified Cable Products:43:49 CableLabs makes this list of CableLabs Certified, CableLabs Verified, and Manufacturer Self-Verified devices for the convenience of consumers, retail Add to Reading List Source URL: www.cablelabs.com Language: English - Date: 2013-11-22 18:09:14 OpenCable PDP-6 B Rear-projection television Electronic engineering Computing Mind Self Self-verification theory Social psychology
110	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics

UPDATE